/* FOR KINGROOKKING */

:-dynamic
        beforePositions/1,
	computer/1,
	playerWhoHasTheMove/2,
	isInSquare/4,
	numberOfMove/1,
	nextPositionToGenerate/1,
        krk/1,
        k2rk/1,
        kqk/1,
        k2bk/1,
	kbkk/1,
        ataqueMateBishop/1.

/* FOR CHESSONTOLOGY */

mod(X, Y, Z) :- X mod Y =:= Z.
